(0 17 6)(1 16 3)(2 9 4)(5 12 8)(7 14 10)(11 15 13)
ALLOWS (11/8)-SEQUENCE
1: (5 8 12)
(0 17 6)(1 16 3)(2 9 4)(5 8 12)(7 14 10)(11 15 13)
2: (7 14 10)
(0 17 6)(1 16 3)(2 9 4)(5 8 12)(7)(10)(11 15 13)(14)
3: (5 8 12)
(0 17 6)(1 16 3)(2 9 4)(5)(7)(8)(10)(11 15 13)(12)(14)
4: (11 15 13)
(0 17 6)(1 16 3)(2 9 4)(5)(7)(8)(10)(11)(12)(13)(14)(15)